Uli Fahrenberg: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 12062 (18th International Conference, RAMiCS 2020, Palaiseau, France, April 8â11, 2020, Proceedings) ||

Fahrenberg, Uli, Jipsen, Peter, Winter, Michael

Year:

2020

Language:

english

File:

PDF, 10.88 MB

english, 2020

2

Discount-Optimal Infinite Runs in Priced Timed Automata

Uli Fahrenberg, Kim G. Larsen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 337 KB

english, 2009

3

Discounting in Time

Uli Fahrenberg, Kim G. Larsen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 219 KB

english, 2009

4

Metrics for weighted transition systems: Axiomatization and complexity

Kim G. Larsen, Uli Fahrenberg, Claus Thrane

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 464 KB

english, 2011

5

Quantitative analysis of weighted transition systems

Claus Thrane, Uli Fahrenberg, Kim G. Larsen

Journal:

The Journal of Logic and Algebraic Programming

Year:

2010

Language:

english

File:

PDF, 405 KB

english, 2010

6

Reachability analysis for timed automata using max-plus algebra

Qi Lu, Michael Madsen, Martin Milata, Søren Ravn, Uli Fahrenberg, Kim G. Larsen

Journal:

The Journal of Logic and Algebraic Programming

Year:

2012

Language:

english

File:

PDF, 533 KB

english, 2012

7

The quantitative linear-time–branching-time spectrum

Fahrenberg, Uli, Legay, Axel

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 1.01 MB

english, 2014

8

History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps

Fahrenberg, Uli, Legay, Axel

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 261 KB

english, 2013

9

General quantitative specification theories with modal transition systems

Fahrenberg, Uli, Legay, Axel

Journal:

Acta Informatica

Year:

2014

Language:

english

File:

PDF, 695 KB

english, 2014

10

Quantitative analysis of real-time systems using priced timed automata

Bouyer, Patricia, Fahrenberg, Uli, Larsen, Kim G., Markey, Nicolas

Journal:

Communications of the ACM

Year:

2011

Language:

english

File:

PDF, 2.36 MB

english, 2011

11

Weighted modal transition systems

Sebastian S. Bauer,Uli Fahrenberg,Line Juhl…

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 1.07 MB

english, 2013

12

[IEEE 2013 13th International Conference on Application of Concurrency to System Design (ACSD) - Barcelona, Spain (2013.07.8-2013.07.10)] 2013 13th International Conference on Application of Concurrency to System Design - Tag Machines for Modeling Heterogeneous Systems

Le, Thi Thieu Hoa, Passerone, Roberto, Fahrenberg, Uli, Legay, Axel

Year:

2013

Language:

english

File:

PDF, 761 KB

english, 2013

13

Tropical Fourier–Motzkin elimination, with an application to real-time verification

Allamigeon, Xavier, Fahrenberg, Uli, Gaubert, Stéphane, Katz, Ricardo D., Legay, Axel

Journal:

International Journal of Algebra and Computation

Year:

2014

Language:

english

File:

PDF, 566 KB

english, 2014

14

[IEEE 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Florence, Italy (2015.5.18-2015.5.18)] 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering - Measuring Behaviour Interactions between Product-Line Features

Atlee, Joanne M., Fahrenberg, Uli, Legay, Axel

Year:

2015

Language:

english

File:

PDF, 191 KB

english, 2015

15

A tag contract framework for modeling heterogeneous systems

Le, Thi Thieu Hoa, Passerone, Roberto, Fahrenberg, Uli, Legay, Axel

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 930 KB

english, 2016

16

[ACM Press the 20th International Systems and Software Product Line Conference - Beijing, China (2016.09.16-2016.09.23)] Proceedings of the 20th International Systems and Software Product Line Conference on - SPLC '16 - Long-term average cost in featured transition systems

Olaechea, Rafael, Fahrenberg, Uli, Atlee, Joanne M., Legay, Axel

Year:

2016

Language:

english

File:

PDF, 491 KB

english, 2016

17

[IEEE 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Buenos Aires, Argentina (2017.5.27-2017.5.27)] 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Featured Weighted Automata

Fahrenberg, Uli, Legay, Axel

Year:

2017

Language:

english

File:

PDF, 248 KB

english, 2017

18

[ACM Press the 13th International Conference - Gothenburg, Sweden (2018.05.28-2018.05.29)] Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems - SEAMS '18 - Trace checking for dynamic software product lines

Olaechea, Rafael, Atlee, Joanne, Legay, Axel, Fahrenberg, Uli

Year:

2018

Language:

english

File:

PDF, 525 KB

english, 2018

19

Higher-Dimensional Timed Automata

Fahrenberg, Uli

Journal:

IFAC-PapersOnLine

Year:

2018

Language:

english

File:

PDF, 417 KB

english, 2018

20

Logical vs. behavioural specifications

Beneš, Nikola, Fahrenberg, Uli, Křetínský, Jan, Legay, Axel, Traonouez, Louis-Marie

Journal:

Information and Computation

Year:

2019

Language:

english

File:

PDF, 1.19 MB

english, 2019

21

Logical vs. behavioural specifications

Beneš, Nikola, Fahrenberg, Uli, Křetínský, Jan, Legay, Axel, Traonouez, Louis-Marie

Journal:

Information and Computation

Year:

2019

File:

PDF, 1.19 MB

2019

22

Computing branching distances with quantitative games

Fahrenberg, Uli, Legay, Axel, Quaas, Karin

Journal:

Theoretical Computer Science

Year:

2020

File:

PDF, 542 KB

2020

23

Optimal and robust controller synthesis using energy timed automata with uncertainty

Bacci, Giovanni, Bouyer, Patricia, Fahrenberg, Uli, Larsen, Kim G., Markey, Nicolas, Reynier, Pierre-Alain

Journal:

Formal Aspects of Computing

Year:

2020

File:

PDF, 875 KB

2020